Classical and non-classical structure-based drug design
نویسندگان
چکیده
منابع مشابه
Classical and non-classical computation
supportive in the design process. For this to be possible, computation must be understood in a broad sense, encompassing both the narrow, digital kind of computation and the more general kind of computation in which objects may only have digital approximations. It is this broad approach that we have adopted. The aspects of computation considered here are representation and process. Representati...
متن کاملConnection-based Theorem Proving in Classical and Non-classical Logics
We present a uniform procedure for proof search in classical logic, intuitionistic logic, various modal logics, and fragments of linear logic. It is based on matrix characterizations of validity in these logics and extends Bibel’s connection method, originally developed for classical logic, accordingly. Besides combining a variety of different logics it can also be used to guide the development...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملClassical/Non‐classical Polyoxometalate Hybrids
Two polyanions [SeI V2 PdII4 WVI14 O56 H]11- and [SeI V4 PdII4 WVI28 O108 H12 ]12- are the first hybrid polyoxometalates in which classical (Group 5/6 metal based) and non-classical (late transition-metal based) polyoxometalate units are joined. Requiring no supporting groups, this co-condensation of polyoxotungstate and isopolyoxopalladate constituents also provides a logical link between POM-...
متن کاملNon-classical Metatheory for Non-classical Logics
A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical meta-theory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Crystallographica Section A Foundations of Crystallography
سال: 2005
ISSN: 0108-7673
DOI: 10.1107/s0108767305095450